Fix broken assertion in SEDF scheduler.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/sched_sedf.c b/xen/common/sched_sedf.c
index 994ecdfd8ef76cc7128f63096e83cb7cd6a630b2..d4e889551441b5931d4cf6640e1b56a800822086 100644 (file)
--- a/xen/common/sched_sedf.c
+++ b/xen/common/sched_sedf.c
@@ -585,7 +585,7 @@ static void update_queues(
                 curinf->deadl_abs += 
                     DIV_UP(now - curinf->deadl_abs,
                            curinf->period) * curinf->period;
-            ASSERT(curinf->deadl_abs > now);
+            ASSERT(curinf->deadl_abs >= now);
             /*give a fresh slice*/
             curinf->cputime = 0;
             if (PERIOD_BEGIN(curinf) > now)